[[Group]] # Trivial group The **trivial group** $\{ e \}$ is the [[group]] with only one element, the identity $e$. #m/def/group This forms both the [[Initial and terminal objects]] of [[Category of groups]]. # --- #state/tidy | #lang/en | #SemBr